Dating submarine landslides using the transient response of gas hydrate stability

Submarine landslides are prevalent on the modern-day seafloor, yet an elusive problem is constraining the timing of past slope failure. We present a novel age-dating technique based on perturbations to underlying gas hydrate stability caused by slide-impacted seafloor changes. Using three-dimensional (3-D) seismic data, we mapped an irregular bottom simulating reflection (BSR) underneath a submarine landslide in the Orca Basin, Gulf of Mexico. The irregular BSR mimics the pre-slide seafloor geometry rather than the modern bathymetry. Therefore, we suggest that the gas hydrate stability zone (GHSZ) is still adjusting to the post-slide sediment temperature. We applied transient conductive heat-flow modeling to constrain the response of the GHSZ to the slope failure, which yielded a most likely age of ca. 8 ka, demonstrating that gas hydrate can respond to landslides even on multimillennial time scales. We further provide a generalized analytical solution that can be used to remotely date submarine slides in the absence of traditional dating technique

Compressed σ-protocol theory and practical application to plug & play secure algorithmics

Σ-Protocols provide a well-understood basis for secure algorithmics. Recently, Bulletproofs (Bootle et al., EUROCRYPT 2016, and Bünz et al., S&P 2018) have been proposed as a drop-in replacement in case of zero-knowledge (ZK) for arithmetic circuits, achieving logarithmic communication instead of linear. Its pivot is an ingenious, logarithmic-size proof of knowledge BP for certain quadratic relations. However, reducing ZK for general relations to it forces a somewhat cumbersome “reinvention” of cryptographic protocol theory. We take a rather different viewpoint and reconcile Bulletproofs with Σ-Protocol Theory such that (a) simpler circuit ZK is developed within established theory, while (b) achieving exactly the same logarithmic communication. The natural key here is linearization. First, we repurpose BPs as a blackbox compression mechanism for standard Σ-Protocols handling ZK proofs of general linear relations (on compactly committed secret vectors); our pivot. Second, we reduce the case of general nonlinear relations to blackbox applications of our pivot via a novel variation on arithmetic secret sharing based techniques for Σ-Protocols (Cramer et al., ICITS 2012). Orthogonally, we enhance versatility by enabling scenarios not previously addressed, e.g., when a secret input is dispersed across several commitments. Standard implementation platforms leading to logarithmic communication follow from a Discrete-Log assumption or a generalized Strong-RSA assumption. Also, under a Knowledge-of-Exponent Assumption (KEA) communication drops to constant, as in ZK-SNARKS. All in all, our theory should more generally be useful for modular (“plug & play”) design of practical cryptographic protocols; this is further evidenced by our separate work (2020) on proofs of partial knowledge

Linear-Time Arguments with Sublinear Verification from Tensor Codes

Minimizing the computational cost of the prover is a central goal in the area of succinct arguments. In particular, it remains a challenging open problem to construct a succinct argument where the prover runs in linear time and the verifier runs in polylogarithmic time. We make progress towards this goal by presenting a new linear-time probabilistic proof. For any fixed $\epsilon > 0$, we construct an interactive oracle proof (IOP) that, when used for the satisfiability of an $N$-gate arithmetic circuit, has a prover that uses $O(N)$ field operations and a verifier that uses $O(N^{\epsilon})$ field operations. The sublinear verifier time is achieved in the holographic setting for every circuit (the verifier has oracle access to a linear-size encoding of the circuit that is computable in linear time). When combined with a linear-time collision-resistant hash function, our IOP immediately leads to an argument system where the prover performs $O(N)$ field operations and hash computations, and the verifier performs $O(N^{\epsilon})$ field operations and hash computations (given a short digest of the $N$-gate circuit)

Upper cretaceous-paleogene stratigraphy and development of the Mímir High, Vøring transform margin, Norwegian Sea

Transform margins represent strike-slip type of plate boundaries that form during continental breakup and initial ocean opening. They are often characterized by margin-parallel highs with exposed pre- and syn-rift sequences. The Vøring Transform Margin, offshore mid-Norway, initiated in the earliest Eocene during the opening of the NE Atlantic. Here, 2D seismic reflection data reveal a transform margin high, the Mímir High. The western flank of this undrilled structure is a kilometer-high escarpment where seismic reflections of pre-breakup age are truncated at the seafloor. The aim of this study was to recover seabed rock samples from the outcropping or shallowly buried sedimentary sequences to provide a geological tie to the regional seismic framework, thereby constraining the basin history and tectono-stratigraphic development. Seabed samples were successfully collected from 14 gravity core and Selcore stations and 10 ROV (remotely operated vehicle) sites along a 750 m high sampling profile, recovering clay, shales, sandstones and glacial dropstones. Biostratigraphy results revealed that the ages of the sedimentary rocks follow the stratigraphic order predicted by the initial seismic interpretation, with Upper Cretaceous sediments at the base and lower Eocene sediments at the top. The integrated interpretation shows that the Mímir High area, including parts of the outer Vøring and Møre basins and the proto-Jan Mayen Microplate Complex, were characterized by the deposition of late Campanian to early Maastrichtian, near coastal and shale-dominated sequences with poor source rock qualities. The early Paleocene samples indicate deep marine conditions that abruptly ended by rapid uplift of the Mímir High in the earliest Eocene. Finally, a reworked Pliensbachian palynomorph assemblage in potential early Eocene strata indicate the presence of exposed Mesozoic sequences in the vicinity of the Mímir High. We argue that some of the lower Eocene sediments where deposited within a hypothetical drainage system sourced from Greenland (Traill Ø or Jameson Land) and/or from the Jan Mayen Ridge prior to continental separation, and not the result of recent ice-rafting.acceptedVersio